The PMA Revisited
نویسنده
چکیده
The so-called Possible Models Approach (PMA) is a minimal change semantics for database updates. In this paper we give a sound and complete decision procedure for the PMA which is based on normal forming. We prove complexity results in particular for the case of updates restricted to conjunctions or disjunctions of literals. Finally, we sketch how integrity constraints can be taken into account.
منابع مشابه
Evaluation of immunopathologic effects of aqueous extract of Echinacea purpurea in mice after experimental challenge with Pasteurella multocida serotype A
In order to assess the immunopathological effects of aqueous Echinacea purpurea extract (EPE) on mice experimentally challenged with Pasteurella multocida serotype A, forty female BALB/c mice were randomly divided into four groups. The groups included a control group (received sterile distilled water 2 times/week for 2 weeks, intraperitoneally and then 100 μl sterile saline intranasally), a PMA...
متن کاملبررسی خصوصیات چسبندگی و فعالیت کشندگی ماکروفاژهای پریتونئال به کمک Phorbol Myristate Acetate و ارزیابی توان اکسیداتیو توسط Nitroblue Tetrazolium
Introduction: PMA is known to induce the differentiation of monocytes to macrophages. This agent also increases the killing effect of the monocytes/macrophages through oxidative burst and can be used as a stimulant for oxidative burst assay. The present experimental study was intended to investigate the in vitro effects of PMA on the differentiation, morphological changes, cell adherence and th...
متن کاملQUICKSELECT Revisited
We give an overview of the running time analysis of the random divide-and-conquer algorithm FIND or QUICKSELECT. The results concern moments, distribution of FIND’s running time, the limiting distribution, a stochastic bound and the key: a stochastic fixed point equation.
متن کاملارزیابی فرایند انفجار تنفسی سیستم فاگوسیتی (نوتروفیل و مونوسیت) در افراد دیابتی نوع2 با استفاده از محرکهای fmlp و PMA
Background: Diabetes is a hidden epidemic and the most common metabolic disorder in the world. Immune dysfunction (cellular and humoural) is one of the consequences of diabetes, including defects of phagocyte function, notably in chemotaxis, phagocytosis, and killing. Results of studies on phagocyte respiratory burst activity, however, have been contradictory. We studied the respiratory burst o...
متن کاملThe “Man with Serpents” revisited. On a Figurated Pin from the Bronze Age Site of Shahdad (Kerman, Iran)
We discuss a figured pin from Shahdad, previously well known but published with a partial and unsatisfactory drawing. More detailed observations and a new, more realistic recording of this important artifact reconsider its stylistic and iconographic links with the imagery of the Halil Rud civilization and the eastern Iranian Plateau in general, and, at its opposite cultural poles, with Mesopot...
متن کامل